منابع مشابه
Finite element differential forms on cubical meshes
We develop a family of finite element spaces of differential forms defined on cubical meshes in any number of dimensions. The family contains elements of all polynomial degrees and all form degrees. In two dimensions, these include the serendipity finite elements and the rectangular BDM elements. In three dimensions they include a recent generalization of the serendipity spaces, and new H(curl)...
متن کاملCubical Representation and Minimization through Cubical Technique A Tabular Approach
Tables, Boolean Laws and different traits of Karnaugh Maps are used generally to establish a solution of Boolean equations. Cubical representation is another option to help in getting a solution of equations. Largest possible k-cubes that exist for a given function are equivalent to its prime implicants. A technique of minimization of Logic functions is tried to be achieved through cubical meth...
متن کاملCartesian Cubical Type Theory
We present a cubical type theory based on the Cartesian cube category (faces, degeneracies, symmetries, diagonals, but no connections or reversal) with univalent universes, each containing Π, Σ, path, identity, natural number, boolean, pushout, and glue (equivalence extension) types. The type theory includes a syntactic description of a uniform Kan operation, along with judgemental equality rul...
متن کاملCubical token systems
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of combinatorial and stochastic parts of media theory hold almost in identical form for cubical token systems, although some underlying concepts are quite different...
متن کاملA Cubical Antipodal Theorem
The classical Lusternik-Schnirelman-Borsuk theorem states that if a d-sphere is covered by d + 1 closed sets, then at least one of the sets must contain a pair of antipodal points. In this paper, we prove a combinatorial version of this theorem for hypercubes. It is not hard to show that for any cover of the facets of a d-cube by d sets of facets, at least one such set contains a pair of antipo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Engineering with Computers
سال: 2002
ISSN: 0177-0667,1435-5663
DOI: 10.1007/s003660200016